declare let source: string
declare let anyType: any
declare let neverType: never
;(function () {
  //在开始前，我们需要先了解一下如何直观地判断两个类型的兼容性。本节中我们主要使用条件类型来判断类型兼容性，类似这样：
  type Result = 'lys' extends string ? 1 : 2
  let source: string = 'lys'
  let anyType: any = true
  anyType = source

  // neverType = source;// 不能将类型“string”分配给类型“never”。
  //对于变量 a = 变量 b，如果成立，意味着 <变量 b 的类型> extends <变量 a 的类型> 成立，即 b 类型是 a 类型的子类型，在这里即是 string extends never ，这明显是不成立的。
})()
